<html>
<body>
Replaces the integer shift operator <b>&lt;&lt;</b>
with an equivalent multiplication expression.
</body>
</html>
